bitkeeper revision 1.662 (3ff31c9bCF3X7QcHyzz1dxWr2-8L0w)

bug fix

diff --git a/BitKeeper/etc/logging_ok b/BitKeeper/etc/logging_ok
index da1235fdb003ef4a5bf7bbb2b4a8cf2213b7712f..e750fb487b0c7bc167f6710758c0920c2a2dd1a2 100644 (file)
--- a/BitKeeper/etc/logging_ok
+++ b/BitKeeper/etc/logging_ok
@@ -6,6 +6,7 @@ akw27@labyrinth.cl.cam.ac.uk
 akw27@plucky.localdomain
 bd240@boulderdash.cl.cam.ac.uk
 bd240@labyrinth.cl.cam.ac.uk
+br260@br260.wolfson.cam.ac.uk
 br260@labyrinth.cl.cam.ac.uk
 br260@laudney.cl.cam.ac.uk
 iap10@freefall.cl.cam.ac.uk

diff --git a/tools/examples/createlinuxdom.py b/tools/examples/createlinuxdom.py
index e183b422f8b6358d8ef74c56e256c26899c60033..1f54841cd3c487c65e285058c0321f77c2e44097 100755 (executable)
--- a/tools/examples/createlinuxdom.py
+++ b/tools/examples/createlinuxdom.py
@@ -14,7 +14,7 @@ import Xc, XenoUtil, string, sys, os, time, socket
 # initialize a few variables that might come in handy
 thishostname = socket.gethostname()
 guestid = 0
-if sys.argv >= 2:
+if len(sys.argv) >= 2:
     guestid = string.atoi(sys.argv[1])
     print "Offset to add to guest's IP etc : %d\n" % guestid